427,617 results on '"Steffen, Bernhard"'
Search Results
2. Towards LLM-Based System Migration in Language-Driven Engineering
3. Language-Driven Engineering An Interdisciplinary Software Development Paradigm
4. ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages
5. Towards LLM-Based System Migration in Language-Driven Engineering
6. Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs
7. The Power of Typed Affine Decision Structures: A Case Study
8. Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
9. Executable Documentation: From Documentation Languages to Purpose-Specific Languages
10. Forest GUMP: A Tool for Explanation
11. Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
12. Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)
13. Formal Methods Meet Machine Learning (F3ML)
14. Executable Documentation: Test-First in Action
15. Lifelong Learning of Reactive Systems in Practice
16. DIME Days (ISoLA 2022 Track Introduction)
17. From Languages to Behaviors and Back
18. Active Automata Learning as Black-Box Search and Lazy Partition Refinement
19. Towards Continuous Quality Control in the Context of Language-Driven Engineering
20. Rance Cleaveland: a life for formal methods
21. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
22. Forest GUMP: a tool for verification and explanation
23. Algebraic aggregation of random forests: towards explainability and rapid evaluation
24. Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees
25. Aligned, Purpose-Driven Cooperation: The Future Way of System Development
26. Model Checking, Synthesis, and Learning
27. Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition
28. An Introduction to Graphical Modeling of CI/CD Workflows with Rig
29. Agile Business Engineering: From Transformation Towards ContinuousInnovation
30. Never-Stop Context-Free Learning
31. Programming - What is Next?
32. A Context-Free Symbiosis of Runtime Verification and Automata Learning
33. Asking Why
34. A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
35. The power of typed affine decision structures: a case study
36. eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding
37. Guaranteeing Type Consistency in Collective Adaptive Systems
38. Analysis of Pedestrian Motion Using Voronoi Diagrams in Complex Geometries
39. eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding
40. Formal Methods Meet Machine Learning (F3ML)
41. Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
42. Towards Continuous Quality Control in the Context of Language-Driven Engineering
43. DIME Days (ISoLA 2022 Track Introduction)
44. Executable Documentation: Test-First in Action
45. Executable Documentation: From Documentation Languages to Purpose-Specific Languages
46. Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)
47. Lifelong Learning of Reactive Systems in Practice
48. Forest GUMP: A Tool for Explanation
49. Aggressive Aggregation: a New Paradigm for Program Optimization
50. ADD-Lib: Decision Diagrams in Practice
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.